Building the Inference Component of an Historical Information Retrieval System

The p r i n c i p a l c h a r a c t e r i s t i c o f t h e RESEDA sys tem i s b e i n g a b l e t o q u e s t i o n a n h i s t o r i c a l d a t a base a b o u t t h e c a u s a l r e l a t i o n s h i p s w h i c h may e x i s t be tween d i f f e r e n t a t t e s t e d f a c t s i n t h e d a t a b a s e , b u t w h i c h a r e n o t e x p l i c i t l y r e c o r d e d . I n o r d e r t o d o t h i s t h e d e s i g n e r s o f RESEDA have c r e a t e d f r o m s c r a t c h a m e t h o d o l o g y f o r t h e f o r m a l i z a t i o n and g e n e r a l i z a t i o n o f t h e r e a s o n i n g used b y h i s t o r i a n s i n c o n c r e t e s i t u a t i o n s . The d e s c r i p t i o n o f t h e p r e s e n t s t a t e o f t h i s me thodo logy i s t h e o b j e c t o f t h i s p a p e r .